النوع الثاني : الخاصّ والعامّ مطلقا ، كالإنسان والحيوان . ويجري فيه الصنف الأوّل بالشقّ الثاني ، أي التلازم بين الوجوديّين طردا فقط ، فيصدق : كلّ ما كان إنسانا كان حيوانا ، دون العكس . ويجري فيه الصنف الثاني عكسا ، فيصدق : كلّ ما لم يكن حيوانا لم يكن إنسانا ، ففيه يلزم من استثناء عين الملزوم عين اللازم ، ونقيض اللازم نقيض الملزوم ، فيلزمه نتيجتان ، فالتلازم في الصنف الأوّل يثبت بطرده ، ويتقوّى بعكس الصنف الثاني . ولا يجري فيه الصنفان الآخران ؛ لمنافاتهما للعموم والخصوص . النوع الثالث : المتنافيان طردا وعكسا ، أي إثباتا ونفيا ، كالزوجيّة والفرديّة ؛ فإنّهما لا تجتمعان ولا ترتفعان . ويجري فيه الصنفان الآخران بالشقّ الأوّل - أي تلازم الوجوديّ والعدميّ وبالعكس - طردا وعكسا ، فيصدق : لو كان زوجا لم يكن فردا ، ولو كان فردا لم يكن زوجا ، ولو لم يكن زوجا كان فردا ، ولو لم يكن فردا كان زوجا ، وفيه تنافيان ، وفي كلّ منهما لازمان « 1 » ، فيلزم باعتبار التنافي إثباتا أن يكون وجود كلّ منهما مستلزما لعدم الآخر ، فيلزم من استثناء كلّ واحد منهما نقيض الآخر . وباعتبار التنافي نفيا أن يكون عدم كلّ منهما مستلزما لوجود الآخر ، فيلزم من استثناء نقيض كلّ منهما عين الآخر ، فيلزمه أربع نتائج ، فالتلازم في أحد الصنفين فيه يثبت بطرده ، ويتقوّى بعكسه ، وبالصنف الآخر طردا وعكسا . ولا يجري فيه الصنفان الأوّلان ، ووجهه ظاهر . النوع الرابع : المتنافيان طردا فقط ، أي إثباتا ، كالحيوان والجماد ؛ فإنّهما لا يجتمعان وقد يرتفعان ، كما في الشجر . ويجري فيه الصنف الثاني بالشقّ الأوّل - أي تلازم الوجوديّ والعدميّ - طردا وعكسا ، فيصدق : كلّما كان حيوانا لم يكن جمادا ، وكلّما كان جمادا لم يكن حيوانا . ولا يجري فيه الصنف الرابع ، فلا يصدق : كلّ ما لم يكن حيوانا كان جمادا ، وكلّ ما لم يكن جمادا كان حيوانا ، فيلزم من استثناء كلّ واحد منهما نقيض الآخر لا غير ، فيلزم نتيجتان ، فيثبت التلازم « 2 » فيه بالطرد ، ويتقوّى بالعكس . وعدم جريان الصنفين الأوّلين فيه مطلقا ظاهر .

--> ( 1 ) . في « ب » : « تلازمان » . ( 2 ) . في « ب » : « اللازم » .